home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group98c.txt / 000134_icon-group-sender _Wed Dec 16 17:44:00 1998.msg < prev    next >
Internet Message Format  |  2000-09-20  |  1KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.9.1a/8.9.1) id RAA24460
  4.     for icon-group-addresses; Wed, 16 Dec 1998 17:43:54 -0700 (MST)
  5. Message-Id: <199812170043.RAA24460@baskerville.CS.Arizona.EDU>
  6. X-Authentication-Warning: pluto.mscc.huji.ac.il: mslamm owned process doing -bs
  7. Date: Wed, 16 Dec 1998 19:47:18 +0200 (IST)
  8. From: Ehud Lamm <mslamm@mscc.huji.ac.il>
  9. To: icon-group@optima.CS.Arizona.EDU
  10. Subject: Icon Co-Expressions in Ada
  11. Errors-To: icon-group-errors@optima.CS.Arizona.EDU
  12. Status: RO
  13.  
  14. I am thinking about implimenting Goal Directed Evaluation ala Icon, as an
  15. Ada package. I considred two options:
  16. 1. Using "static" data (that is, variables stored in the package's body,
  17. in Ada) to impliment the suspend mechanism. This has its obvious problems.
  18.  
  19. 2. Using Ada's tasking facilites. This has the disadvantage of making the
  20. user use tasks. It is sad, since as far as I know you can't simply make an
  21. Ada procedure behave in a task like way, by invking other procedures. The
  22. task must be explicit.
  23.  
  24. Any thoughts or ideas are more than welcome. If someone did it already -
  25. so much the better. I'd also be happy to see references (esp. Web based)
  26. on implimenting co-expressions.
  27.  
  28. Thanks. 
  29.  
  30. Ehud Lamm     mslamm@pluto.mscc.huji.ac.il
  31.  
  32.